Fit to decide?

Deciding How to Decide

, © Velleman This article is distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and redistribution in any medium, provided that the original author and source are credited. By “deciding how to decide”, I mean using practical reasoning to regulate one’s principles of practical reasoning. David Gauthier has sugg...

Efficient Algorithms to Decide Tightness

Tightness is a generalisation of the notion of convexity: a space is tight if and only if it is “as convex as possible”, given its topological constraints. For a simplicial complex, deciding tightness has a straightforward exponential time algorithm, but more efficient methods to decide tightness are only known in the trivial setting of triangulated surfaces. In this article, we present a new p...

How to decide what to do?

There are many conceptualizations and formalizations of decision making. In this paper we compare classical decision theory with qualitative decision theory, knowledge-based systems and belief-desire-intention models developed in artificial intelligence and agent theory. They all contain representations of information and motivation. Examples of informational attitudes are probability distribut...

Unrolling Cycles to Decide Trigger Termination

Active databases have gained a substantial interest in recent years in enforcing database integrity, however, its current implementations suffer many problems such as running into an infinite loop. While deciding termination is an undecidable task, several works have been proposed to prove termination under certain situations. However, most of these algorithms cannot conclude termination if a c...

Is Code Equivalence Easy to Decide?